theorem proving technique造句

例句与造句

1. Formal semantics are also required when it is necessary to establish the correctness of an infinite system; this cannot be done using enumerative techniques because they deal only with finite abstractions, so must be done using theorem proving techniques, which only apply to languages with a formal semantics.
2. It's difficult to find theorem proving technique in a sentence. 用theorem proving technique造句挺难的